Lyapunov functions via a Zubov type algorithm 1
نویسنده
چکیده
We present a scheme for the determination of control Lyapunov functions which can be used as a basis for numerical computations. Under the assumption of local asymptotic nullcontrollability we de ne the domain of asymptotic nullcontrollability. On this set a control Lyapunov function is de ned via an optimal control problem. It is then shown that this function can be characterized as the unique viscosity solution of a partial di erential equation which can be interpreted as a generalization of Zubov's equation.
منابع مشابه
Algorithmic verification of approximations to complete Lyapunov functions
In [3] Conley showed that the state-space of a dynamical system can be decomposed into a gradient-like part and a chain-recurrent part, and that this decomposition is characterized by a so-called complete Lyapunov function for the system. In [14] Kalies, Mischaikow, and VanderVorst proposed a combinatorial method to compute discrete approximations to such complete Lyapunov functions. Their appr...
متن کاملViscosity Solutions of the Bellman Equation for Infinite Horizon Optimal Control Problems with Negative Instantaneous Costs (I)
In a series of papers, we characterized the value function in optimal control as the unique viscosity solution of the corresponding Bellman equation that satisfies appropriate side conditions. The novelty of our results was that they applied to exit time problems with general nonnegative instantaneous costs, including cases where the instantaneous cost is not uniformly bounded below by positive...
متن کاملViscosity Solutions of the Bellman Equation for Infinite Horizon Optimal Control Problems with Negative Instantaneous Costs
In a series of papers, we characterized the value function in optimal control as the unique viscosity solution of the corresponding Bellman equation that satisfies appropriate side conditions. The novelty of our results was that they applied to exit time problems with general nonnegative instantaneous costs, including cases where the instantaneous cost is not uniformly bounded below by positive...
متن کاملCalculating the domain of attraction: Zubov’s method and extensions
In a seminal work V.I. Zubov has described a constructive method to obtain Lyapunov functions. This method is the first to allow numerical construction of domains of attraction for general nonlinear systems. In this paper we describe recent generalizations of this method that is applicable for systems subject to perturbations or control inputs.
متن کاملPERSONAGE IN SCIENCE Professor V . I . Zubov to the 80 th Birthday Anniversary
Vladimir Ivanovich Zubov was born on April 14, 1930 in the town of Kashira, Moscow region, Russia. In 1945 he finished a secondary school. At the age of 14, Vladimir suffered in the explosion accident happened when he and his playfellows found a hand grenade. His eyes were injured and he failed eyesight soon. In 1949 he finished the Leningrad special school for blind and visually impaired child...
متن کامل